:: Integer -> Double package:hmpfr -is:exact